University of California, Berkeley - Theoretical computer science, graph theory, cryptography

NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.

University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.

University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.

University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.

Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory.

University of Newcastle - Security of statistical databases.

York University, Ontario - Concurrent programming languages, semantics, specification languages.

Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelligence, multi-agent systems, software agents, mobile...

University of Cambridge - Speech and language processing, computational linguistics.